Optimal. Leaf size=166 \[ \frac{5 a d^2+4 b c^2}{8 c^4 x^2 \sqrt{d x-c} \sqrt{c+d x}}-\frac{3 d^2 \left (5 a d^2+4 b c^2\right )}{8 c^6 \sqrt{d x-c} \sqrt{c+d x}}-\frac{3 d^2 \left (5 a d^2+4 b c^2\right ) \tan ^{-1}\left (\frac{\sqrt{d x-c} \sqrt{c+d x}}{c}\right )}{8 c^7}+\frac{a}{4 c^2 x^4 \sqrt{d x-c} \sqrt{c+d x}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.120213, antiderivative size = 166, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 7, integrand size = 31, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.226, Rules used = {454, 103, 12, 104, 21, 92, 205} \[ \frac{5 a d^2+4 b c^2}{8 c^4 x^2 \sqrt{d x-c} \sqrt{c+d x}}-\frac{3 d^2 \left (5 a d^2+4 b c^2\right )}{8 c^6 \sqrt{d x-c} \sqrt{c+d x}}-\frac{3 d^2 \left (5 a d^2+4 b c^2\right ) \tan ^{-1}\left (\frac{\sqrt{d x-c} \sqrt{c+d x}}{c}\right )}{8 c^7}+\frac{a}{4 c^2 x^4 \sqrt{d x-c} \sqrt{c+d x}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 454
Rule 103
Rule 12
Rule 104
Rule 21
Rule 92
Rule 205
Rubi steps
\begin{align*} \int \frac{a+b x^2}{x^5 (-c+d x)^{3/2} (c+d x)^{3/2}} \, dx &=\frac{a}{4 c^2 x^4 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{1}{4} \left (4 b+\frac{5 a d^2}{c^2}\right ) \int \frac{1}{x^3 (-c+d x)^{3/2} (c+d x)^{3/2}} \, dx\\ &=\frac{a}{4 c^2 x^4 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{4 b c^2+5 a d^2}{8 c^4 x^2 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{\left (4 b c^2+5 a d^2\right ) \int \frac{3 d^2}{x (-c+d x)^{3/2} (c+d x)^{3/2}} \, dx}{8 c^4}\\ &=\frac{a}{4 c^2 x^4 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{4 b c^2+5 a d^2}{8 c^4 x^2 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{\left (3 d^2 \left (4 b c^2+5 a d^2\right )\right ) \int \frac{1}{x (-c+d x)^{3/2} (c+d x)^{3/2}} \, dx}{8 c^4}\\ &=-\frac{3 d^2 \left (4 b c^2+5 a d^2\right )}{8 c^6 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{a}{4 c^2 x^4 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{4 b c^2+5 a d^2}{8 c^4 x^2 \sqrt{-c+d x} \sqrt{c+d x}}-\frac{\left (3 d \left (4 b c^2+5 a d^2\right )\right ) \int \frac{c d+d^2 x}{x \sqrt{-c+d x} (c+d x)^{3/2}} \, dx}{8 c^6}\\ &=-\frac{3 d^2 \left (4 b c^2+5 a d^2\right )}{8 c^6 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{a}{4 c^2 x^4 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{4 b c^2+5 a d^2}{8 c^4 x^2 \sqrt{-c+d x} \sqrt{c+d x}}-\frac{\left (3 d^2 \left (4 b c^2+5 a d^2\right )\right ) \int \frac{1}{x \sqrt{-c+d x} \sqrt{c+d x}} \, dx}{8 c^6}\\ &=-\frac{3 d^2 \left (4 b c^2+5 a d^2\right )}{8 c^6 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{a}{4 c^2 x^4 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{4 b c^2+5 a d^2}{8 c^4 x^2 \sqrt{-c+d x} \sqrt{c+d x}}-\frac{\left (3 d^3 \left (4 b c^2+5 a d^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{c^2 d+d x^2} \, dx,x,\sqrt{-c+d x} \sqrt{c+d x}\right )}{8 c^6}\\ &=-\frac{3 d^2 \left (4 b c^2+5 a d^2\right )}{8 c^6 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{a}{4 c^2 x^4 \sqrt{-c+d x} \sqrt{c+d x}}+\frac{4 b c^2+5 a d^2}{8 c^4 x^2 \sqrt{-c+d x} \sqrt{c+d x}}-\frac{3 d^2 \left (4 b c^2+5 a d^2\right ) \tan ^{-1}\left (\frac{\sqrt{-c+d x} \sqrt{c+d x}}{c}\right )}{8 c^7}\\ \end{align*}
Mathematica [C] time = 0.0299248, size = 78, normalized size = 0.47 \[ \frac{a c^4-d^2 x^4 \left (5 a d^2+4 b c^2\right ) \, _2F_1\left (-\frac{1}{2},2;\frac{1}{2};1-\frac{d^2 x^2}{c^2}\right )}{4 c^6 x^4 \sqrt{d x-c} \sqrt{c+d x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.026, size = 387, normalized size = 2.3 \begin{align*}{\frac{1}{8\,{c}^{6}{x}^{4}} \left ( 15\,\ln \left ( -2\,{\frac{{c}^{2}-\sqrt{-{c}^{2}}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}}{x}} \right ){x}^{6}a{d}^{6}+12\,\ln \left ( -2\,{\frac{{c}^{2}-\sqrt{-{c}^{2}}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}}{x}} \right ){x}^{6}b{c}^{2}{d}^{4}-15\,\ln \left ( -2\,{\frac{{c}^{2}-\sqrt{-{c}^{2}}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}}{x}} \right ){x}^{4}a{c}^{2}{d}^{4}-12\,\ln \left ( -2\,{\frac{{c}^{2}-\sqrt{-{c}^{2}}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}}{x}} \right ){x}^{4}b{c}^{4}{d}^{2}-15\,\sqrt{-{c}^{2}}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}{x}^{4}a{d}^{4}-12\,\sqrt{-{c}^{2}}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}{x}^{4}b{c}^{2}{d}^{2}+5\,{x}^{2}a{c}^{2}{d}^{2}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}\sqrt{-{c}^{2}}+4\,{x}^{2}b{c}^{4}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}\sqrt{-{c}^{2}}+2\,a{c}^{4}\sqrt{{d}^{2}{x}^{2}-{c}^{2}}\sqrt{-{c}^{2}} \right ){\frac{1}{\sqrt{-{c}^{2}}}}{\frac{1}{\sqrt{{d}^{2}{x}^{2}-{c}^{2}}}}{\frac{1}{\sqrt{dx+c}}}{\frac{1}{\sqrt{dx-c}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.62221, size = 335, normalized size = 2.02 \begin{align*} \frac{{\left (2 \, a c^{5} - 3 \,{\left (4 \, b c^{3} d^{2} + 5 \, a c d^{4}\right )} x^{4} +{\left (4 \, b c^{5} + 5 \, a c^{3} d^{2}\right )} x^{2}\right )} \sqrt{d x + c} \sqrt{d x - c} - 6 \,{\left ({\left (4 \, b c^{2} d^{4} + 5 \, a d^{6}\right )} x^{6} -{\left (4 \, b c^{4} d^{2} + 5 \, a c^{2} d^{4}\right )} x^{4}\right )} \arctan \left (-\frac{d x - \sqrt{d x + c} \sqrt{d x - c}}{c}\right )}{8 \,{\left (c^{7} d^{2} x^{6} - c^{9} x^{4}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.61696, size = 543, normalized size = 3.27 \begin{align*} \frac{3 \,{\left (4 \, b c^{2} d^{2} + 5 \, a d^{4}\right )} \arctan \left (\frac{{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{2}}{2 \, c}\right )}{4 \, c^{7}} - \frac{{\left (b c^{2} d^{2} + a d^{4}\right )} \sqrt{d x + c}}{2 \, \sqrt{d x - c} c^{7}} + \frac{2 \,{\left (b c^{2} d^{2} + a d^{4}\right )}}{{\left ({\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{2} + 2 \, c\right )} c^{6}} + \frac{4 \, b c^{2} d^{2}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{14} + 7 \, a d^{4}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{14} + 16 \, b c^{4} d^{2}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{10} + 60 \, a c^{2} d^{4}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{10} - 64 \, b c^{6} d^{2}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{6} - 240 \, a c^{4} d^{4}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{6} - 256 \, b c^{8} d^{2}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{2} - 448 \, a c^{6} d^{4}{\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{2}}{2 \,{\left ({\left (\sqrt{d x + c} - \sqrt{d x - c}\right )}^{4} + 4 \, c^{2}\right )}^{4} c^{6}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]